📏 Linear Haskell - abnv · Scour

Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types

arxiv.org·3d

🏗️Calculus of Constructions

Using Haskell in Production

agentultra.com·1d

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification Algorithms

🎡Beginner-Friendly Guide 'Minimum Pair Removal to Sort Array I' - Problem 3507 (C++, Python, JavaScript)

dev.to·2h·

Discuss: DEV

🌲Deforestation

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Making a Language

thunderseethe.dev·7h

🔬programming language theory

abelianization of an additive category in nLab

ncatlab.org·13h

🔗Category Theory

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·21h·

Discuss: Hacker News

🔍ML Language

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·17h

🏗️Cranelift

Variation on Iota

toolofthought.com·2d·

Discuss: Hacker News

🔢Bit Manipulation

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·16h

🔧Scheme Macros

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

🌲Deforestation

Google Releases FunctionGemma Model

i-programmer.info·13h

💬Smalltalk VMs

jhgarner/Theseus: An experimental and still heavily in progress Haskell effect system library supporting coroutines and higher order effects.

github.com·2d

⚡Algebraic Effects

Loading more...